Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
661	A Validation Method Adapted to Dynamic Service Composition Jacqueline Floch1,2 and Rolv Bræk2 1SINTEF Telecom and Informatics N-7465 Trondheim, Norway Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-10-11 04:54:36 Sociology Finite-state machine Computer science Applied mathematics Models of computation Identity Role
662	Microsoft Word - ec_problems_2009_v7.doc Add to Reading List Source URL: ch24.org Language: English - Date: 2010-12-16 06:08:01 Software engineering Matrix State space C Quantum circuit Programming language theory Quantum information science Computing Models of computation
663	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
664	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
665	Constructive Root Bound for k-Ary Rational Input Numbers Sylvain Pion 1 INRIA Sophia-Antipolis, BP 93, 06902 Sophia-Antipolis cedex, France. Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-11-08 10:44:22 Transcendental numbers Diophantine approximation Finite fields Models of computation Mathematics Constructible universe Number theory
666	Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-02 12:01:28 Parallel computing Functional languages Functional programming Procedural programming languages Models of computation Algorithmic skeleton Monad Denotational semantics Eval Computing Software engineering Computer programming
667	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
668	Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Cross-platform software Models of computation Compiler construction Procedural programming languages Programming paradigms Stream processing Java virtual machine Scheme Actor model Computing Software engineering Computer programming
669	A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-12-22 12:57:12 Compiler construction Theoretical computer science Computer science Automata theory LL parser LR parser Parsing Nondeterministic finite automaton Finite-state machine Formal languages Models of computation Theory of computation
670	PDF Document Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-12 09:57:07 Science Models of computation Systems engineering Markov processes Concurrency Markov chain Markov model Model checking Petri net Mathematics Statistics Diagrams

UPDATE